A System of Interaction and Structure

This paper introduces a logical system, called BV, which extends multiplicative linear logic by a non-commutative self-dual logical operator. This extension is particularly challenging for the sequent calculus, and so far it is not achieved therein. It becomes very natural in a new formalism, called the calculus of structures, which is the main contribution of this work. Structures are formulae submitted to certain equational laws typical of sequents. The calculus of structures is obtained by generalising the sequent calculus in such a way that a new top-down symmetry of derivations is observed, and it employs inference rules that rewrite inside structures at any depth. These properties, in addition to allow the design of BV, yield a modular proof of cut elimination.Comment: This is the authoritative version of the article, with readable pictures, in colour, also available at . (The published version contains errors introduced by the editorial processing.) Web site for Deep Inference and the Calculus of Structures at <http://alessio.guglielmi.name/res/cos

Indirect stabilization of weakly coupled systems with hybrid boundary conditions

We investigate stability properties of indirectly damped systems of evolution equations in Hilbert spaces, under new compatibility assumptions. We prove polynomial decay for the energy of solutions and optimize our results by interpolation techniques, obtaining a full range of power-like decay rates. In particular, we give explicit estimates with respect to the initial data. We discuss several applications to hyperbolic systems with {\em hybrid} boundary conditions, including the coupling of two wave equations subject to Dirichlet and Robin type boundary conditions, respectively

Possible, alternative explanations of the T2K observation of the nu_e appearance from an initial nu_mu

An alternative explanation to the emergence of sin^2(2 theta_13) > 0 is discussed. It is pointed out that the recorded T2K events might have been due to some other new physics in the neutrino sector, related to the LSND/MiniBooNE sterile neutrino anomalies, for which there is nowadays a growing evidence. The presently running ICARUS detector with the CNGS beam will be able to distinguish between these two possible sources of the effectComment: 5 pages, 1 figur

Sensorless Direct Field-Oriented Control of Three-Phase Induction Motor Drives for Low-Cost Applications

A sensorless direct rotor field-oriented control (SDRFOC) scheme of three-phase induction motors for low-cost applications is presented in this paper. The SDRFOC algorithm is based on a sensorless closed-loop rotor flux observer whose main advantages are simplicity and robustness to motor parameter detuning. The whole algorithm has been developed and implemented on a low-cost fixed-point digital signal processor controller. Experimental results are presented for a 0.5-kW induction motor drive for a primary vacuum pump used in industry applications

FIELD ORIENTED CONTROL OF IPM DRIVES FOR FLUX WEAKENING APPLICATIONS

Interior Permanent Magnet (IPM) drives are adapted to flux-weakening, then to constant power operation over a wide speed range. Most of the control strategies for IPM motor drives are based on the control of the current vector. Flux-weakening is obtained by proper current references, that are calculated according to the magnetic model of the motor. This approach needs the accurate characterization of the motor and it is sensitive to the inaccuracy and the variation of the model parameters. Moreover, in the case of a variable dc-link, an additional voltage loop is necessary to correct the current references values at different dc-link voltage levels. The direct control of the flux vector, in the stator flux oriented frame, is proposed here, with the aim of obtaining the constant voltage operation of the IPM motor drive in the flux weakening range by means of a very simple control algorithm. The proposed direct flux control is tested on an IPM motor drive designed for traction. The exploitation of the maximum torque in all the operating speed range is demonstrated. The control is also capable to adapt its flux and current set-points to different dc-link voltage levels with no need of additional voltage regulators. Discrete-time simulation and experimental results are presented and compared showing good accordance

A new search for anomalous neutrino oscillations at the CERN-PS

The LSND experiment has observed a 3.8 sigma excess of anti-nu_e events from an anti-nu_mu beam coming from pions at rest. If confirmed, the LSND anomaly would imply new physics beyond the standard model, presumably in the form of some additional sterile neutrinos. The MiniBooNE experiment at FNAL-Booster has further searched for the LSND anomaly. Above 475 MeV, the nu_e result is excluding the LSND anomaly to about 1.6 sigma but it introduces an unexplained, new 3.0 sigma anomaly at lower energies, down to 200 MeV. The nu_e data have so far an insufficient statistics to be conclusive with LSND's anti-nu_e. The present proposal at the CERN-PS is based on two strictly identical LAr-TPC detectors in the near and far positions, respectively at 127 and 850 m from the neutrino (or antineutrino) target and focussing horn, observing the electron-neutrino signal. This project will benefit from the already developed technology of ICARUS T600, well tested on surface in Pavia, without the need of any major R&D activity and without the added problems of an underground experiment (CNGS-2). The superior quality of the Liquid Argon imaging TPC and its unique electron - pi-zero discrimination allow full rejection of the NC background, without efficiency loss for electron neutrino detection. In two years of exposure, the far detector mass of 600 tons and a reasonable utilization of the CERN-PS with the refurbished previous TT7 beam line will allow to collect about 10^6 charged current events, largely adequate to settle definitely the LSND anomaly.Comment: 23 pages, 17 figures, added watermark, better referencin

Non-radioactive molecular probes for the detection of three filamentous viruses of the grapevine

Digoxigenin-labelled riboprobes (DIG-RNA) were developed for the detection in infected tissue extracts of grapevine trichovirus A (GVA), grapevine trichovirus B (GVB) and grapevine leafroll-associated closterovirus III (GLRaV III). The probes were virus-specific and could be used for the identification of the respective viruses in sap expressed from infected Nicotiana species (GVA and GVB) and in total nucleic acid extracts from infected grapevines (GVA, GVB and GLRaV III). The efficiency of detection was the same as (GLRaV III), or slightly less than (GVA), with ELISA. No difference was found in detection efficiency between DIG-RNA and cDNA radioactive probes

CNGS neutrino beam systematics for θ13\theta_{13}

Energy spectra, intensity and composition of the CERN to Gran Sasso CNGS neutrino beam for nu_mu-->nu_tau and nu_mu-->nu_e oscillation searches are presented. The associated beam systematics, which is the major ingredient for the nu_mu-->nu_e search sensitivity, are obtained from the study of the previous CERN WANF.Comment: presented at NOW 2004, 5 pages, 7 figure

Design, synthesis, docking studies and monoamine oxidase inhibition of a small library of 1-acetyl- and 1-thiocarbamoyl-3,5-diphenyl-4,5-dihydro-(1h)-pyrazoles

New N-acetyl/N-thiocarbamoylpyrazoline derivatives were designed and synthesized in high yields to assess their inhibitory activity and selectivity against human monoamine oxidase A and B. The most important chiral compounds were separated into their single enantiomers and tested. The impact of the substituents at N1, C3 and C5 positions as well the influence of the configuration of the C5 on the biological activity were analyzed. Bulky aromatic groups at C5 were not tolerated. p-Prenyloxyaryl moiety at C3 oriented the selectivity toward the B isoform. The results were also corroborated by molecular modelling studies providing new suggestions for the synthesis of privileged structures to serve as lead compounds for the treatment of mood disorders and neurodegenerative diseases